Distality, completeness, and affine structures
نویسندگان
چکیده
منابع مشابه
AHS–structures and affine holonomies
We show that a large class of non–metric, non–symplectic affine holonomies can be realized, uniformly and without case by case considerations, by Weyl connections associated to the natural AHS–structures on certain generalized flag manifolds.
متن کاملWeak Affine Light Typing: Polytime intensional expressivity, soundness and completeness
Ridefinite Quasi-linear come Composition-linear Weak affine light typing (WALT) assigns light affine linear formulae as types to a subset of λ-terms in System F. WALT is poly-time sound: if a λ-term M has type in WALT, M can be evaluated with a polynomial cost in the dimension of the derivation that gives it a type. In particular, the evaluation can proceed under any strategy of a rewriting rel...
متن کاملAffine Jacobi structures on vector and affine bundles
We study affine Jacobi structures on an affine bundle π : A→M . We prove that there is a one-toone correspondence between affine Jacobi structures on A and Lie algebroid structures on the vector bundle A = ⋃ p∈M Aff(Ap,R) of affine functionals. Some examples and applications, also for the linear case, are discussed. For a special type of affine Jacobi structures which are canonically exhibited ...
متن کاملMathematical Logic Homogenizable structures and model completeness
A homogenizable structure M is a structure where we may add a finite number of new relational symbols to represent some ∅−definable relations in order to make the structure homogeneous. In this article we will divide the homogenizable structures into different classes which categorize many known examples and show what makes each class important. We will show that model completeness is vital for...
متن کاملJacobi structures on affine bundles
We study affine Jacobi structures (brackets) on an affine bundle π : A→M , i.e. Jacobi brackets that close on affine functions. We prove that if the rank of A is non-zero, there is a one-to-one correspondence between affine Jacobi structures on A and Lie algebroid structures on the vector bundle A = ⋃ p∈M Aff(Ap,R) of affine functionals. In the case rank A = 0, it is shown that there is a one-t...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Differential Geometry
سال: 1986
ISSN: 0022-040X
DOI: 10.4310/jdg/1214440550